Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, SAT 2007, Lisbon, Portugal, May... Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Paperback, 2007 ed.)
Joao Marques-Silva, Karem A. Sakallah
R1,726 Discovery Miles 17 260
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007.

The 22 revised full papers presented together with 12 revised short papers and two invited talks cover all current research issues in propositional and quantified Boolean formula satisfiability testing.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Professor Snape Wizard Wand - In Ollivanders Box:
Professor Snape Wizard Wand - In…
 (8)
 R832 Discovery Miles 8 320
Bostik Glu Dots - Extra Strength (64 Dots):
Bostik Glu Dots - Extra Strength (64…
R48 Discovery Miles 480
Bostik Glu Dots - Removable (64 Dots):
Bostik Glu Dots - Removable (64 Dots)
 (3)
 R48 Discovery Miles 480
Soccer Waterbottle [Blue]:
Soccer Waterbottle [Blue]
R70 Discovery Miles 700
Elecstor GU-10 5W Rechargeable LED Bulb (Cool White):
Elecstor GU-10 5W Rechargeable LED Bulb…
R69 R59 Discovery Miles 590
Anton Rupert - The Life Of A Business Icon (Paperback, Updated Edition): Ebbe Dommisse
Anton Rupert - The Life Of A Business…
Ebbe Dommisse Paperback R395 R289 Discovery Miles 2 890
Snappy Tritan Bottle (1.2L)(Coral):
Snappy Tritan Bottle (1.2L)(Coral)
R209 R169 Discovery Miles 1 690
Hoover HSV600C Corded Stick Vacuum:
Hoover HSV600C Corded Stick Vacuum
 (7)
 R949 R877 Discovery Miles 8 770
When Love Kills - The Tragic Tale Of AKA And Anele (Paperback): Melinda Ferguson
When Love Kills - The Tragic Tale Of AKA…
Melinda Ferguson Paperback R320 R235 Discovery Miles 2 350

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners